bitkeeper revision 1.806 (4058575bj1znOTlYdipFIG8KLGJwfQ)

pdb.txt, README, README.CD:
  Doc fixes.

diff --git a/README b/README
index 1ff127dd597995d98c55e66410792ade34c5deb7..c3c67b968e5c24691f1b8469c569c24109751e4d 100644 (file)
--- a/README
+++ b/README
@@ -1,9 +1,9 @@
 #############################
- __  __            _   ____  
- \ \/ /___ _ __   / | |___ \ 
-  \  // _ \ '_ \  | |   __) |
-  /  \  __/ | | | | |_ / __/ 
- /_/\_\___|_| |_| |_(_)_____|
+ __  __            _   _____ 
+ \ \/ /___ _ __   / | |___ / 
+  \  // _ \ '_ \  | |   |_ \ 
+  /  \  __/ | | | | |_ ___) |
+ /_/\_\___|_| |_| |_(_)____/ 
                                               
 #############################
 

diff --git a/README.CD b/README.CD
index f43357e58028721f75f8ad7b7c7b8a5240e4a194..0683c4cfe9ac532148cc13b9aa3d8a2493c7a9c1 100644 (file)
--- a/README.CD
+++ b/README.CD
@@ -520,8 +520,9 @@ We supply a handy debug terminal program which you can find in
 /usr/local/src/xen-1.0/xeno-1.0.bk/tools/misc/miniterm/
 This should be built and executed on another machine that is connected
 via a null modem cable. Documentation is included.
-Alternatively, telnet can be used in 'char mode' if the Xen machine is
-connected to a serial-port server.
+Alternatively, if the Xen machine is connected to a serial-port server
+then we supply a dumb TCP terminal client:
+ 'tools/xenctl/lib/console_client.py <server host> <server port>'
 
 
 Installing Xen / XenoLinux on a RedHat distribution

diff --git a/docs/pdb.txt b/docs/pdb.txt
index 6eb91096b1f284bd5d0468b4658124d5331c4fee..0d2bcf469227809eacfd9bd2a483575bf08e9013 100644 (file)
--- a/docs/pdb.txt
+++ b/docs/pdb.txt
@@ -70,7 +70,7 @@ Serial Port Configuration
 
   pdb expects to communicate with gdb using the serial port.  Since 
   this port is often shared with the machine's console output, pdb can
-  discriminate its communication by setting the high bit of each char.
+  discriminate its communication by setting the high bit of each byte.
 
   A new tool has been added to the source tree which splits 
   the serial output from a remote machine into two streams: 
@@ -82,22 +82,12 @@ Serial Port Configuration
   Note: nsplitd was originally written for the Nemesis project
   at Cambridge.
 
-  Usage:
-    %telnet <hostname> <port>
-    This is the console of the remote machine.  You will probably
-    want to set telnet in char mode (or create a .telnetrc file).
-    <hostname> and <port> are for your instance of nsplitd.
-    You should be able to press 'h' to display a list of keyboard
-    handlers.  In particular, you should see:
-       key 'D' (ascii '44') => enter pervasive debugger
-
   After nsplitd accepts a connection on <port>, it starts listening
   on port <port + 1>.  Characters sent to the <port + 1> will have the
   high bit set and vice versa for characters received.
 
-  Note: if you are not using a serial console and can dedicate your
-  serial line to pdb messages, then edit pdb_put_char and pdb_get_char 
-  in pdb-stub.c to remove the high bit tests.
+  You can connect to the nsplitd using
+  'tools/xenctl/lib/console_client.py <host> <port>'
 
 GDB 6.0
   pdb has been tested with gdb 6.0.  It should also work with